DX is about reconstructing propositions in modern terms.